$\forall$${\it the\_w}$:world\{i:l\}. fair{-}fifo\{i:l\}(${\it the\_w}$) $\in$ $\mathbb{P}$\{i'\}